Sommers' proof that something exists
نویسنده
چکیده
1. Something is possible. 2. Whatever is not a categorially possible thing is not a possible thing. 3. Suppose there were nothing (i.e., nothing exists). 4. By definition D-things are categorially impossible if and only if nothing is D and nothing is D. 5. For any D, nothing is D and nothing is D. (by 3) 6. For any D, D-things are categorially impossible, (by 4 and 5) 7. For any D, D-things are not possible things, (by 2 and 6)
منابع مشابه
God in Sikhism
The fundamental belief in Sikhism is that God exists not merely as an idea or concept, but as a real entity. God is indescribable, yet knowable and perceivable to anyone who is prepared to dedicate the time and energy to become perceptive to His persona. The Gurus never spoke about proofs of the existence of God. For them, He is too real, and something obvious does not require any logical proof...
متن کاملHans - Jürgen Sommers February 2 , 2008
We give a constructive proof for the superbosonization formula for invariant random matrix ensembles, which is the supersymmetry analog of the theory of Wishart matrices. Formulas are given for unitary, orthogonal and symplectic symmetry, but worked out explicitly only for the orthogonal case. The method promises to become a powerful tool for investigating the universality of spectral correlati...
متن کاملMATRIX VALUATION PSEUDO RING (MVPR) AND AN EXTENSION THEOREM OF MATRIX VALUATION
Let R be a ring and V be a matrix valuation on R. It is shown that, there exists a correspondence between matrix valuations on R and some special subsets ?(MVPR) of the set of all square matrices over R, analogous to the correspondence between invariant valuation rings and abelian valuation functions on a division ring. Furthermore, based on Malcolmson’s localization, an alternative proof for t...
متن کاملLeibniz's Ontological Proof of the Existence of God and the Problem of »Impossible Objects«
The core idea of the ontological proof is to show that the concept of existence is somehow contained in the concept of God, and that therefore God’s existence can be logically derived – without any further assumptions about the external world – from the very idea, or definition, of God. Now, G.W. Leibniz has argued repeatedly that the traditional versions of the ontological proof are not fully ...
متن کاملThe Basic Theorem and its Consequences
Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 16 شماره
صفحات -
تاریخ انتشار 1975